41. Software Composition
پدیدآورنده: edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
42. Software Engineering 3
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Information theory. ; Software engineering. ; Computer science. ; Logic design. ; Theory of Computation. ;
43. Software Service and Application Engineering
پدیدآورنده: edited by Maritta Heisel
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computation by Abstract Devices,Computer Communication Networks,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Software Engineering
44. Specification of Software Systems
پدیدآورنده: by V.S. Alagar, K. Periyasamy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
F67
B987
1998
45. Static Analysis :
پدیدآورنده: edited by Baudouin Charlier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
46. Static Analysis :
پدیدآورنده: by Patrick Cousot, Moreno Falaschi, Gilberto File.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
47. System Analysis and Modeling: About Models
پدیدآورنده: edited by Frank Alexander Kraemer, Peter Herrmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks.,Computer science.,Information storage and retrieval systems.,Logic design.,Software engineering.
48. TAPSOFT '95:
پدیدآورنده: edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
49. Tests and Proofs
پدیدآورنده: edited by Achim D. Brucker, Jacques Julliand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
50. Theorem Proving in Higher Order Logics :
پدیدآورنده: edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
51. Theory and Practice of Model Transformations :
پدیدآورنده: edited by Keith Duddy, Gerti Kappel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
E358
2013
52. Theory and Practice of Model Transformations
پدیدآورنده: edited by Zhenjiang Hu, Juan Lara
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
53. Tools for Practical Software Verification :
پدیدآورنده: edited by Bertrand Meyer, Martin Nordio.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2012
54. VDM'91 Formal Software Development Methods :
پدیدآورنده: edited by S. Prehn, W.J. Toetenel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
55. VDM '90 VDM and Z -- Formal Methods in Software Development :
پدیدآورنده: edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
56. Verification:
پدیدآورنده: edited by Nachum Dershowitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2004
